4. Advances in databases and information systems
پدیدآورنده : / Janis Grundspenkis ... [et al.] (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Database management, Congresses,Information technology, Congresses
رده :
QA76
.
9
.
D3A33
2010
6. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
7. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
8. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
9. Integrated project support environments
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer software- Development- Congresses,، Electronic data processing- Management- Congresses
10. Marine navigation and safety of sea transportation
پدیدآورنده : / editor, Adam Weintrit
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Electronics in navigation--Congresses,Aids to navigation--Congresses,Shipping--Safety measures--Congresses,Shipping--Technological innovations--Congresses,Nautical instruments--Congresses
11. Product-Focused Software Process Improvement
پدیدآورنده : \ [edited by] Pekka Abrahamsson...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses,Computer software -- Development -- Management -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها ,نرمافزار -- تولید -- مدیریت -- کنگره ها
رده :
QA
76
.
758
.
P7
2015
E-Book
,
12. Software Engineering Research, Management and Applications
پدیدآورنده : \ Roger Lee Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a03,a03,Computer software -- Development -- Congresses.,نرمافزار -- تولید -- کنگره ها
رده :
E-Book
,
13. Software Process Improvement and Capability Determination
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Management -- Congresses.,Software engineering -- Congresses.,Computer software -- Development -- Management.
رده :
*
14. Software engineering research, management and applications
پدیدآورنده : Lee, R. Y.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software engineering -- Congresses,، Computer software -- Development -- Congresses
رده :
QA
76
.
758
.
S637
2008